University of Basel

Results: 347



#Item
91Artificial intelligence / Innovation / Mathematics / Heuristic / Satisficing / Best-first search / Goal node / A* search algorithm / Heuristics / Search algorithms / Heuristic function

A Case Study on the Search Topology of Greedy Best-First Search Master Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2014-06-04 04:20:09
92Heuristics / Game artificial intelligence / Combinatorial optimization / Linear temporal logic / Mathematics / A* search algorithm / Heuristic function / Information science / Temporal logic / Search algorithms / Artificial intelligence / Routing algorithms

A General LTL Framework for Describing Control Knowledge in Classical Planning Master’s Thesis Faculty of Science, University of Basel

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2014-06-13 10:43:18
93Physics / Chemistry / Crystallography / Diffeomorphisms / Crystal structure / Bisimulation / Symmetric space / Geometry / Symmetry / Differential geometry

Factored Symmetries for Merge-and-Shrink Abstractions Silvan Sievers and Martin Wehrle and Malte Helmert University of Basel, Switzerland {silvan.sievers,martin.wehrle,malte.helmert}@unibas.ch Alexander Shleyfman

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2015-02-02 10:01:34
94Virtual reality / Graphics hardware / Video cards / Rendering / Graphics processing unit / Shader / Ray tracing / Rasterisation / Microsoft Direct3D / Computer graphics / Computing / 3D computer graphics

University of Applied Sciences Basel (FHBB) Diploma Thesis DA07 0405 RayTracing on GPU Ray Tracing on GPU

Add to Reading List

Source URL: gpurt.sourceforge.net

Language: English - Date: 2005-01-19 14:30:52
95Mathematics / Applied mathematics / Operations research / Heuristic function / Algorithm / Best-first search / Heuristic / Hill climbing / Local search / Search algorithms / Heuristics / Artificial intelligence

Empirical Evaluation of Search Algorithms for Satisficing Planning Master’s Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2015-02-25 12:00:08
96Assignment

On the Expressive Power of Non-Linear Merge-and-Shrink Representations Malte Helmert and Gabriele R¨oger and Silvan Sievers University of Basel Basel, Switzerland {malte.helmert,gabriele.roeger,silvan.sievers}@unibas.ch

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2015-03-27 14:49:15
    97Science / Heuristic function / Admissible heuristic / A* search algorithm / Consistent heuristic / Heuristic / Mathematical optimization / Heuristics / Artificial intelligence / Innovation

    Construction of Pattern Database Heuristics using Cost Partitioning Simon Wang Department of Informatics & Computational Science University of Basel Abstract Pattern databases (Culberson & Schaeer, 1998) or PDBs, have

    Add to Reading List

    Source URL: ai.cs.unibas.ch

    Language: English - Date: 2013-01-07 17:29:29
    98Swiss Tropical and Public Health Institute / University of Basel / Public health / Novartis / Tropical disease / Epidemiology / Switzerland / Health / Medicine / International development

    Biennial Report 2011–2012 Swiss Tropical and Public Health Institute, Basel, Switzerland Published by

    Add to Reading List

    Source URL: www.swisstph.ch

    Language: English - Date: 2013-09-12 05:44:15
    99Knowledge / Operations research / Heuristic function / NP-complete problems / Heuristic / Search algorithm / A* search algorithm / Algorithm / Thesis / Mathematics / Heuristics / Applied mathematics

    Automatic Selection of Pattern Collections for Domain Independent Planning MASTER THESIS PRESENTATION MSC THESIS SASCHA SCHERRER, UNIVERSITY BASEL

    Add to Reading List

    Source URL: ai.cs.unibas.ch

    Language: English - Date: 2014-07-18 11:42:15
    100Operations research / Applied mathematics / Heuristic function / Combinatorial optimization / Admissible heuristic / Heuristic / Search algorithm / Automated planning and scheduling / Algorithm / Heuristics / Mathematical optimization / Mathematics

    Linear Programming for Heuristics in Optimal Planning Gabriele R¨oger and Florian Pommerening University of Basel, Switzerland {gabriele.roeger, florian.pommerening}@unibas.ch Abstract

    Add to Reading List

    Source URL: ai.cs.unibas.ch

    Language: English - Date: 2014-11-26 07:33:29
    UPDATE